The antigone constraint

Security Policy Enforcement in the Antigone System

Works in communication security policy have recently focused on general-purpose policy languages and evaluation algorithms. However, because the supporting frameworks often defer enforcement, the correctness of a realization of these policies in software is limited by the quality of domain-specific implementations. This paper introduces the Antigone communication security policy enforcement fra...

Antigone: Policy-based Secure Group Communication System and AMirD: Antigone-based Secure File Mirroring System

This demonstration gives examples of how the Antigone policy-based secure group communication system supports applications. The concept behind Antigone came from the applications whose security needs may vary, depending on operating environment, principals in a group, or the data being exchanged. For example, some applications may handle proprietary data that requires confidentiality, others ma...

Echoes of Sophocles's Antigone in Auster's Invisible

In her article "Echoes of Sophocles's Antigone in Auster's Invisible" Kathleen Waller discusses Paul Auster's Invisible, a novel that explores Deleuze's and Guattari's ontological idea of becoming in a virtual world versus merely living in the actual, physical world. Sexual and immortal desires in the protagonist's virtual world show a near achieved nothingness, or "a space which is unlimited" ...

Antigone 904-920 and the Institution of Marriage

ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations

This manuscript introduces ANTIGONE, Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations, a general mixed-integer nonlinear global optimization framework. ANTIGONE is the evolution of the Global Mixed-Integer Quadratic Optimizer, GloMIQO, to general nonconvex terms. The purpose of this paper is to show how the extensible structure of ANTIGONE realizes our previously-p...